basic diagram
def. 初等ダイアグラムのうち、閉じた原子論理式（原子文）と その否定（¬）の集合
ja: 基本ダイアグラム
aka. diagram = ダイアグラム
ref. 田中一之『数学基礎論序説』 (def. 2.1.8, §2.1, p. 58)